A fast and certifying solver for quantified Boolean formulas.

Haskell bindings for PicoSAT solver

C++ header-only reasoning library

Boolean satisfiability problem

Reductions of SHA family hash functions to SAT.

Yet Another Sat solvER

A simple, small, work in progress SAT-solver, written in ANSI C

Compile microsat to WebAssembly using emscripten

A fixed cross-platform version of picosat

Projeto realizado para matéria de Métodos Formais - O programa deve receber um arquivo de entrada que represente a situação inicial de um jogo de sudoku e, à partir dele, gerar uma fórmula lógica para servir de entrada ao programa "zchaff", resolvedor SAT

Uniform: A Probabilistic SAT Solving Algorithm

A simple combinatorial boolean sat solver based on the AC-3 Algorithm

SAT-based Sudoku solver, written in Python.

Implementation of the DPLL algorithm for solving the satisfiability problem of propositional logic

Yet another SAT solver developed in C.

Lingeling SAT Solver fork with CMake build

A Comparison of SAT-Solver attacks on NIST lightweight Hash Candidates with state of the art Brute-Force attacks.

C framework for SLS-SAT-Solvers with an implementation of Robust Tabu Search (RoTS) and Iterated Local Search with Simulated Annealing (ILS/SA).